Formal Methods and VLSI Engineering Practice
نویسندگان
چکیده
منابع مشابه
Formal methods in knowledge engineering
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections aga...
متن کاملFormal Methods for Engineering Education
The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problem...
متن کاملFormal Methods in Requirements Engineering
An overview of major formal methods in Requirements Engineering is provided, as well as their application in practice, usability for business systems specification and aspects of the technology transfer.
متن کاملFormal Methods: Theory Becoming Practice
In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the actual coding of a computer system, so that the software in question will be correct by construction. At the end, I shall present a number of real pro...
متن کاملMethods and Tools for Formal Software Engineering
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1994
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/37.2.96